Feeds to Scour
SubscribedAll
Scoured 8656 posts in 115.0 ms
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·2h·
Discuss: Hacker News
🛡️seL4
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·3d
🔀OCaml Multicore
An attempt at a First-Proof AI challenge
abhvio.us·20h·
Discuss: Hacker News
⏱️Computational Complexity
Processes and Threads - Discourse on Concurrency, Part I
ayanmali.substack.com·2d·
Discuss: Substack
🔀OCaml Multicore
How I Built My Project in Haskell
dev.to·1d·
Discuss: DEV
λFunctional Programming
Join My New Movement for the Post-AI World
lesswrong.com·9h
🔲Cellular Automata
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·3d·
Discuss: Hacker News
🔄Finite State Machines
ericblue/claude-vibekanban: PRD-to-Tasks Workflow for Claude Code + VibeKanban
github.com·8h·
Discuss: Hacker News
💻CLI Tools
Making Sense of Entropies
dpaletti.com·9h·
Discuss: Hacker News
🔢Philosophy of Mathematics
Autobiolocation
autobiolocation.is·6h·
Discuss: Hacker News
🔲Cellular Automata
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)
linuxjournal.com·18h·
Discuss: Hacker News
🔀OCaml Multicore
Technical writeup: Implementing Discord’s rate limiting, gateway management, and “clarity over magic”
scurry-works.github.io·16h·
Discuss: r/programming
🌐ActivityPub
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·1d·
Discuss: Hacker News
💻CLI Tools
Exactly Once Operations: Why Idempotency Belongs in the Business Layer
equatorops.com·2d·
Discuss: Hacker News
↔️Bisimilarity
The End of IPFS: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node Eradication
zenodo.org·9h·
Discuss: Hacker News
🐳Containerization
AI Workflows with human-in-the-loop
weavemind.ai·22h·
Discuss: Hacker News
🧠Automated Reasoning
Computing large Fibonacci numbers
johndcook.com·17h·
Discuss: Hacker News
λFunctional Programming
Context Is Part of the Game
joy.pm·21h·
Discuss: Hacker News
🎮Verification Games
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·19h·
Discuss: Hacker News
📐Hoare Logic

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help